xen/arm: gic-v3: Fix the distributor region to 64kB
authorJulien Grall <julien.grall@citrix.com>
Wed, 1 Jul 2015 11:01:04 +0000 (12:01 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 3 Jul 2015 09:07:14 +0000 (10:07 +0100)
commit02385fde22ab77b27e98a6afd13a98184bbb95a8
tree74a494c4f402a96f0bdca6919399165f6dd21397
parent685cddcdde9154a62d652bad3dbe582bf2e32f25
xen/arm: gic-v3: Fix the distributor region to 64kB

On GICv3, the default size of the distributor region is 64kB (see 5.3
in PRD03-GENC-010745 24.0). This region can be extended to provide an
implementation defined set of pages containing additional aliases for MSI.
Although, the GICv3 driver only access to register within the default
distributor region.

Furthermore, our vGIC driver implementation doesn't support the extended
distributor. Therefore there is no reason to expose it to DOM0.

Finally drop the field dbase_size which is not useful anymore.

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic-v3.c
xen/arch/arm/vgic-v3.c
xen/include/asm-arm/domain.h